Computing Machine Laboratory - PDFSEARCH.IO - Document Search Engine

Computing Machine Laboratory
Results: 84

#	Item
31	Can MPI Be Used for Persistent Parallel Services? Robert Latham, Robert Ross, and Rajeev Thakur Mathematics and Computer Science Division Argonne National Laboratory Argonne, IL 60439, USA Add to Reading List Source URL: www.mcs.anl.gov Language: English - Date: 2006-07-13 17:34:32 Parallel computing Application programming interfaces Message Passing Interface MPICH Open MPI Computer cluster Parallel Virtual Machine Server Lis Computing Concurrent computing Software
32	Joeq: A Virtual Machine and Compiler Infrastructure John Whaley Computer Systems Laboratory Stanford University Stanford, CA 94305 Add to Reading List Source URL: suif.stanford.edu Language: English - Date: 2004-01-06 20:12:34 Compiler construction Cross-platform software Java programming language Programming language implementation Computing platforms Java virtual machine Java bytecode Java Just-in-time compilation Computing Software engineering Software
33	Outside the Closed World: On Using Machine Learning For Network Intrusion Detection Robin Sommer International Computer Science Institute, and Lawrence Berkeley National Laboratory Add to Reading List Source URL: www.icir.org Language: English - Date: 2010-03-05 21:14:30 Computer security Data mining Statistics Spamming Anomaly detection Intrusion detection system Network intrusion detection system Misuse detection Snort Computer network security Data security Computing
34	Ivans Lubenko & Andrew Ker lubenko @ comlab.ox.ac.uk adk @ comlab.ox.ac.uk Oxford University Computing Laboratory Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2011-01-25 19:29:51 Support vector machine Steganalysis Binary classification Cross-validation Logistic regression Statistics Machine learning Statistical classification
35	Automatic Extraction of Secrets from Malware Ziming Zhao, Gail-Joon Ahn and Hongxin Hu Laboratory of Security Engineering for Future Computing (SEFCOM) Arizona State University, Tempe, AZ 85281, USA {zmzhao, gahn, hxhu}@ Add to Reading List Source URL: www.public.asu.edu Language: English - Date: 2011-09-01 00:19:23 Assembly languages X86 architecture Subroutines X86 assembly language Machine code Calling convention Malware Pointer INT Computing Computer architecture Software engineering
36	Using Instruction Sequence Abstraction for Shellcode Detection and Attribution Ziming Zhao and Gail-Joon Ahn Laboratory of Security Engineering for Future Computing (SEFCOM) Arizona State University, Tempe, AZ 85281, USA Add to Reading List Source URL: www.public.asu.edu Language: English - Date: 2013-07-11 17:06:53 Machine code X86 instructions Shellcode Software bugs X86 architecture Buffer overflow Self-modifying code CPUID NOP Computer architecture Computing Cyberwarfare
37	Verifying the ARM Block Data Transfer Instructions Anthony Fox Computer Laboratory, University of Cambridge Abstract The hol-4 proof system has been used to formally verify the correctness of the ARM6 micro-architecture. Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2004-05-10 09:42:53 Machine code Assembly languages Central processing unit ARM architecture Addressing mode Processor register NOP DLX Computer architecture Computing Instruction set architectures
38	The reflective Milawa theorem prover is sound (down to the machine code that runs it) Magnus O. Myreen1 and Jared Davis2 1 Computer Laboratory, University of Cambridge, UK Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-05-14 09:11:06 Lisp programming language Functional languages Model theory ACL2 Automated theorem proving Nqthm First-order logic Common Lisp Lisp Computing Software engineering Computer programming
39	Classification of Gene Expression Data on Public Clouds Christian Vecchiola1 , Mani Abedini, Michael Kirley, Xingchen Chu1 , and Rajkumar Buyya1 1 Cloud Computing and Distributed Systems (CLOUDS) Laboratory Dept. of Comp Add to Reading List Source URL: www.cloudbus.org Language: English - Date: 2009-08-28 00:34:04 Web services Statistical classification Machine learning Cloud infrastructure Ensemble learning Learning classifier system ADAPA Weka Distributed application Cloud computing Statistics Computing
40	LOGIC SYSTEMS LABORATORY Swiss Federal Institute of Technology Prof. Daniel Mange Prof. Jacques Zahnd Prof. Eduardo Sanchez Add to Reading List Source URL: lslwww.epfl.ch Language: English - Date: 2001-12-13 08:15:14 Human–computer interaction Turing machine Computer science Artificial life Self-replication Cellular automaton Reconfigurable computing Bio-inspired computing Automata theory Applied mathematics Theoretical computer science BioWall

UPDATE